reduction to constant coefficients